大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 AMS-IMS-SIAM Joint Summer Research Conference on String Geometry (2004) 的图书(共12817本)

Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Dwyer、 Matthew B.、Lopes、 Ant贸nia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Differential Equations Driven by Rough Paths [electronic resource] : 脡cole d'脡t茅 de Probabilit茅s de Saint-Flour XXXIV - 2004

0
索取号:
作者:Lyons、 Terry J.、Caruana、 Michael.、L茅vy、 Thierry.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Architecture of Computing Systems - ARCS 2007 [electronic resource] : 20th International Conference, Zurich, Switzerland, March 12-15, 2007. Proceedings

0
索取号:
作者:Lukowicz、 Paul.、Thiele、 Lothar.、Tr枚ster、 Gerhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Bioinformatics Research and Development [electronic resource] : First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007. Proceedings

0
索取号:
作者:Hochreiter、 Sepp.、Wagner、 Roland.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

0
索取号:
作者:Krishnamurthi、 Shriram.、Odersky、 Martin.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号:
作者:Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Convex and Discrete Geometry [electronic resource]

0
索取号:
作者:Gruber、 Peter M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

LASER 2006 [electronic resource] : Proceedings of the 7th International Workshop on Application of Lasers in Atomic Nuclei Research 鈥淣uclear Ground and Isometric State Properties鈥਌ASER 2006) held in Pozn谩n, Poland, 29 May鈥᠊une 2006

0
索取号:
作者:B艂aszczak、 Z.、Markov、 B.、Marinova、 K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号:
作者:Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号:
作者:Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers

0
索取号:
作者:Sakurai、 Akito.、Hasida、 K么iti.、Nitta、 Katsumi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Geometry Revealed [electronic resource] : A Jacob's Ladder to Modern Higher Geometry

0
索取号:
作者:Berger、 Marcel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号:
作者:Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Data Analysis [electronic resource] : Proceedings of the 30th Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Freie Universit盲t Berlin, March 8鈥ᰬ 2006

0
索取号:
作者:Decker、 Reinhold.、Lenz、 Hans -J.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

0
索取号:
作者:Boyanov、 Todor.、Dimova、 Stefka.、Georgiev、 Krassimir.、Nikolov、 Geno.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

0
索取号:
作者:Gelbukh、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
最近添加的分类